Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates
نویسندگان
چکیده
Abstract Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of non-monotonic logics. In recent work, AFT was generalized to non-deterministic operators, that is, operators whose range are sets elements rather than single elements. this paper, we make three further contributions AFT: (1) define study ultimate approximations (2) give formulation semi-equilibrium by Amendola et al ., (3) generalize characterizations disjunctive logic programs with aggregates.
منابع مشابه
Generalizations of lattices via non-deterministic operators
Benado (Čehoslovak.Mat. Ž. 79(4) (1954) 105–129) and later Hansen (DiscreteMath. 33(1) (1981) 99–101) have offered an algebraic characterization of multilattice (i.e., a poset where every pair of elements satisfies that any upper bound is greater than or equal to a minimal upper bound, and also satisfies the dual property). To that end, they introduce two algebraic operators that are a generali...
متن کاملwavelets, modulation spaces and pseudidifferential operators
مبحث تحلیل زمان-فرکانسی سیگنالها یکی از مهمترین زمینه های مورد بررسی پژوهشگران علوم ÷ایه کاربردی و فنی مهندسی میباشد.در این پایان نامه فضاهای مدولاسیون به عنوان زمینه اصلی این بررسی ها معرفی گردیده اند و نتایج جدیدی که در حوزه های مختلف ریاضی،فیزیک و مهندسی کاربرداساسی و فراوانی دارند استوار و بیان شده اند.به ویژه در این پایان نامه به بررسی و یافتن مقادیر ویژه عملگر های شبه دیفرانسیل با سمبل در...
Approximation by $(p,q)$-Lupac{s} Stancu Operators
In this paper, $(p,q)$-Lupas Bernstein Stancu operators are constructed. Statistical as well as other approximation properties of $(p,q)$-Lupac{s} Stancu operators are studied. Rate of statistical convergence by means of modulus of continuity and Lipschitz type maximal functions has been investigated.
متن کاملCharacterizing Pawlak's Approximation Operators
We investigate the operators associated with approximations in the rough set theory introduced by Pawlak in his [Paw82,MP84] and extensively studied by the Rough Set community [RS06]. We use universal algebra techniques to establish a natural characterization of operators associated with rough sets.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2023
ISSN: ['1471-0684', '1475-3081']
DOI: https://doi.org/10.1017/s1471068423000236